de Morgan style formulae